On Compound Poisson Processes Arising in Change-Point Type Statistical Models as Limiting Likelihood Ratios

Different change-point type models encountered in statistical inference for stochastic processes give rise to different limiting likelihood ratio processes. In a previous paper of one of the authors it was established that one of these likelihood ratios, which is an exponential functional of a two-sided Poisson process driven by some parameter, can be approximated (for sufficiently small values of the parameter) by another one, which is an exponential functional of a two-sided Brownian motion. In this paper we consider yet another likelihood ratio, which is the exponent of a two-sided compound Poisson process driven by some parameter. We establish, that similarly to the Poisson type one, the compound Poisson type likelihood ratio can be approximated by the Brownian type one for sufficiently small values of the parameter. We equally discuss the asymptotics for large values of the parameter and illustrate the results by numerical simulations

Soundness and completeness proofs by coinductive methods

We show how codatatypes can be employed to produce compact, high-level proofs of key results in logic: the soundness and completeness of proof systems for variations of first-order logic. For the classical completeness result, we first establish an abstract property of possibly infinite derivation trees. The abstract proof can be instantiated for a wide range of Gentzen and tableau systems for various flavors of first-order logic. Soundness becomes interesting as soon as one allows infinite proofs of first-order formulas. This forms the subject of several cyclic proof systems for first-order logic augmented with inductive predicate definitions studied in the literature. All the discussed results are formalized using Isabelle/HOL’s recently introduced support for codatatypes and corecursion. The development illustrates some unique features of Isabelle/HOL’s new coinductive specification language such as nesting through non-free types and mixed recursion–corecursion

Transcriptome profiling of grapevine seedless segregants during berry development reveals candidate genes associated with berry weight

Indexación: Web of Science; PubMedBackground Berry size is considered as one of the main selection criteria in table grape breeding programs. However, this is a quantitative and polygenic trait, and its genetic determination is still poorly understood. Considering its economic importance, it is relevant to determine its genetic architecture and elucidate the mechanisms involved in its expression. To approach this issue, an RNA-Seq experiment based on Illumina platform was performed (14 libraries), including seedless segregants with contrasting phenotypes for berry weight at fruit setting (FST) and 6–8 mm berries (B68) phenological stages. Results A group of 526 differentially expressed (DE) genes were identified, by comparing seedless segregants with contrasting phenotypes for berry weight: 101 genes from the FST stage and 463 from the B68 stage. Also, we integrated differential expression, principal components analysis (PCA), correlations and network co-expression analyses to characterize the transcriptome profiling observed in segregants with contrasting phenotypes for berry weight. After this, 68 DE genes were selected as candidate genes, and seven candidate genes were validated by real time-PCR, confirming their expression profiles. Conclusions We have carried out the first transcriptome analysis focused on table grape seedless segregants with contrasting phenotypes for berry weight. Our findings contributed to the understanding of the mechanisms involved in berry weight determination. Also, this comparative transcriptome profiling revealed candidate genes for berry weight which could be evaluated as selection tools in table grape breeding programs.http://bmcplantbiol.biomedcentral.com/articles/10.1186/s12870-016-0789-

Ovarian cancer histology-specific incidence trends in Canada 1969–1993: age-period-cohort analyses

This study examined histology-specific incidence trends of ovarian cancer in Canada, 1969–1993. The impact of age, period and cohort effects on these trends were studied by means of age-period-cohort analysis. Age-standardized incidence rates of serous, endometrioid, clear cell and germ cell tumours increased significantly and the rates of sex cord-stromal and other classified epithelial ovarian tumours decreased considerably. The rates of mucinous and NOS/unclassified tumours remained unchanged. Cohort effect has a major impact on incidence trends of serous, endometrioid, germ cell, sex cord-stromal and other classified epithelial ovarian tumours but no meaningful impact on trends of mucinous, clear cell, or NOS/unclassified ovarian tumours. Various cohort patterns by histology subtypes were observed: the risk of developing serious tumours increased markedly among birth cohorts of 1895–1930, stabilized thereafter and decreased among young cohorts of 1950–1960; the risk of germ cell tumours increased significantly among young cohorts of 1965–1980; and the risk of sex cord-stromal tumours dropped constantly among cohorts 1910–1950. Various period patterns by histology subtypes observed in this study suggested changes in histology classification criteria over the period. Further studies need to consider the various etiologies and the classification criteria changes according to histology subtypes. © 1999 Cancer Research Campaig

Inclusive V0V^0 Production Cross Sections from 920 GeV Fixed Target Proton-Nucleus Collisions

Inclusive differential cross sections $d\sigma_{pA}/dx_F$ and $d\sigma_{pA}/dp_t^2$ for the production of \kzeros, \lambdazero, and \antilambda particles are measured at HERA in proton-induced reactions on C, Al, Ti, and W targets. The incident beam energy is 920 GeV, corresponding to $\sqrt {s} = 41.6$ GeV in the proton-nucleon system. The ratios of differential cross sections \rklpa and \rllpa are measured to be $6.2\pm 0.5$ and $0.66\pm 0.07$, respectively, for \xf $\approx-0.06$. No significant dependence upon the target material is observed. Within errors, the slopes of the transverse momentum distributions $d\sigma_{pA}/dp_t^2$ also show no significant dependence upon the target material. The dependence of the extrapolated total cross sections $\sigma_{pA}$ on the atomic mass $A$ of the target material is discussed, and the deduced cross sections per nucleon $\sigma_{pN}$ are compared with results obtained at other energies.Comment: 17 pages, 7 figures, 5 table

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Search for pair-produced long-lived neutral particles decaying to jets in the ATLAS hadronic calorimeter in ppcollisions at √s=8TeV

The ATLAS detector at the Large Hadron Collider at CERN is used to search for the decay of a scalar boson to a pair of long-lived particles, neutral under the Standard Model gauge group, in 20.3fb−1of data collected in proton–proton collisions at √s=8TeV. This search is sensitive to long-lived particles that decay to Standard Model particles producing jets at the outer edge of the ATLAS electromagnetic calorimeter or inside the hadronic calorimeter. No significant excess of events is observed. Limits are reported on the product of the scalar boson production cross section times branching ratio into long-lived neutral particles as a function of the proper lifetime of the particles. Limits are reported for boson masses from 100 GeVto 900 GeV, and a long-lived neutral particle mass from 10 GeVto 150 GeV

Measurement of the cross-section of high transverse momentum vector bosons reconstructed as single jets and studies of jet substructure in pp collisions at √s = 7 TeV with the ATLAS detector

This paper presents a measurement of the cross-section for high transverse momentum W and Z bosons produced in pp collisions and decaying to all-hadronic final states. The data used in the analysis were recorded by the ATLAS detector at the CERN Large Hadron Collider at a centre-of-mass energy of √s = 7 TeV;{\rm Te}{\rm V}$and correspond to an integrated luminosity of$4.6\;{\rm f}{{{\rm b}}^{-1}}$. The measurement is performed by reconstructing the boosted W or Z bosons in single jets. The reconstructed jet mass is used to identify the W and Z bosons, and a jet substructure method based on energy cluster information in the jet centre-of-mass frame is used to suppress the large multi-jet background. The cross-section for events with a hadronically decaying W or Z boson, with transverse momentum${{p}_{{\rm T}}}\gt 320\;{\rm Ge}{\rm V}$and pseudorapidity$|\eta |\lt 1.9$, is measured to be${{\sigma }_{W+Z}}=8.5\pm 1.7$ pb and is compared to next-to-leading-order calculations. The selected events are further used to study jet grooming techniques